The Nml Machine Description Formalism
نویسنده
چکیده
nML is a formalism targetted for describing arbitrary single-processor computer architectures. nML works at the instruction set level, i.e. it hides implementation issues of the actual machine. nML can be used as an input language for a wide range of tools that need formal machine descriptions. Based on attribute grammars, nML is exible and reasonably easy to use.
منابع مشابه
Beyond tool-specific machine descriptions
When developing software for embedded systems, the set of essential tools includes a compiler and an instruction set simulator. Since software and hardware are often designed in parallel, the tools must be easily adaptable to the changing target architecture. For the compiler, its back-end (the code generator) must be retargetable. Abstraction from the target machine is the key to an automated ...
متن کاملAutomated Generation of Dsp Program Development Tools Using a Machine Description Formalism+
We introduce a retargetable microcode generator for application specific digital signal processors (ASDSPs). The primary goal of our work is to quickly provide system architects with the set of tools necessary for program development (assemblers, instruction set simulators, debuggers and compilers); in particular when the processor architecture is refined simultaneously with the algorithm. Afte...
متن کاملAutomated Generation of Dsp Program Development Tools Using a Machine Description Formalism+
We introduce a retargetable microcode generator for application specific digital signal processors (ASDSPs). The primary goal of our work is to quickly provide system architects with the set of tools necessary for program development (assemblers, instruction set simulators, debuggers and compilers); in particular when the processor architecture is refined simultaneously with the algorithm. Afte...
متن کاملImplementation of Complex DSP Systems Using High-Level Design Tools
We describe an approach to hardware/software co-design that starts with a high-level specification of a target machine and a synchronous data flow representation of an algorithm. The instruction set description is translated into a netlist-level machine description. A set of independent tools successively transform the algorithm into a program for the target processor. We employ the machine des...
متن کاملNml-optimal Histogram Density Estimation
Density estimation is one of the central problems in statistical inference and machine learning. Given a sample of observations, the goal of histogram density estimation is to find a piecewise constant density that describes the data best according to some pre-determined criterion. Although histograms are conceptually simple densities, they are very flexible and can model complex properties lik...
متن کامل